Skolem normal form
Results: 24
# | Item |
---|---|
21 | What kind of logic is “Independence Friendly” logic? Solomon Feferman 1. Two kinds of logic. To a first approximation there are two main kinds of pursuit inAdd to Reading ListSource URL: math.stanford.eduLanguage: English - Date: 2004-11-27 19:12:48 |
22 | 3.5 Normal Forms and Skolemization (Traditional) Study of normal forms motivated by • reduction of logical concepts,Add to Reading ListSource URL: www.mpi-inf.mpg.deLanguage: English - Date: 2010-05-25 02:08:09 |
23 | proc.dviAdd to Reading ListSource URL: igitur-archive.library.uu.nlLanguage: English - Date: 2008-04-02 14:07:20 |
24 | PDF DocumentAdd to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2010-01-30 14:49:57 |